$\forall$${\it the\_w}$:World, $l$:IdLnk, $t$:$\mathbb{N}$. queue($l$;$t$) $\in$ \{$m$:Msg$\mid$ mlnk($m$) $=$ $l$ \} List